Vanishing ideals over rational parameterizations
نویسندگان
چکیده
Let R = K[y] = K[y1, . . . , yn] be a polynomial ring over an arbitrary field K and let F be a finite set {f1/g1, . . . , fs/gs} of rational functions in K(y), the quotient field of R, where fi (resp. gi) is in R (resp. R \ {0}) for all i. As usual we denote the affine and projective spaces over the field K by As and Ps−1, respectively. Points of the projective space Ps−1 are denoted by [α], where 0 6= α ∈ Ks. We consider the following sets parameterized by these rational functions:
منابع مشابه
Complete intersection vanishing ideals on sets of clutter type over finite fields
In this paper we give a classification of complete intersection vanishing ideals on parameterized sets of clutter type over finite fields.
متن کاملGenerating Loop Invariants by Computing Vanishing Ideals of Sample Points
Loop invariants play a very important role in proving correctness of programs. In this paper, we address the problem of generating invariants of polynomial loop programs. We present a new approach, for generating polynomial equation invariants of polynomial loop programs through computing vanishing ideals of sample points. We apply rational function interpolation, based on early termination tec...
متن کاملGeneralized Calogero-Moser systems from rational Cherednik algebras
We consider ideals of polynomials vanishing on the W -orbits of the intersections of mirrors of a finite reflection group W . When W is either a real reflection group or the complex reflection group G(m, p,N) we determine all such ideals which are invariant under the action of the corresponding rational Cherednik algebra at certain values of the parameters hence form submodules in the polynomia...
متن کاملF-rational Rings Have Rational Singularities
It is proved that an excellent local ring of prime characteristic in which a single ideal generated by any system of parameters is tightly closed must be pseu-dorational. A key point in the proof is a characterization of F-rational local rings as those Cohen-Macaulay local rings (R; m) in which the local cohomology module H d m (R) (where d is the dimension of R) have no submodules stable under...
متن کاملComputing Ideals of Points
The easiest geometric object in affine or projective space is a single rational point. It has no secrets, in particular its defining ideal, i.e. the set of all the polynomials which vanish at the point, is straightforward to describe. Namely, for an affine point with coordinates (a1, . . . , an), the corresponding ideal is p = (x1 − a1, . . . , xn − an); while for a projective point with coordi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/1502.05451 شماره
صفحات -
تاریخ انتشار 2015